logic logic exercise 1.2